Mathematics and Computing - PDFSEARCH.IO - Document Search Engine

Mathematics and Computing
Results: 2535

#	Item
881	FOR INTERNAL SCRUTINY (date of this version: UNIVERSITY OF EDINBURGH COLLEGE OF SCIENCE AND ENGINEERING SCHOOL OF INFORMATICS FUNCTIONAL PROGRAMMING AND SPECIFICATION Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-05-12 04:27:31 Higher-order functions Recursion Fold Binary tree String Function Computing Mathematics Software engineering
882	Verifying the distributed real-time network protocol RTnet using Uppaal∗ Ferdy Hanssen, Angelika Mader, Pierre G. Jansen Distributed and Embedded Systems group Faculty of Electrical Engineering, Mathematics and Compute Add to Reading List Source URL: www.croky.net Language: English - Date: 2007-12-12 06:03:22 Data transmission IEEE 802 Channel Information theory Communications protocol Transmission Control Protocol Internet protocols IEEE 802.1aq Token ring Data Information Computing
883	THE UNIVERSITY OF AKRON Mathematics and Computer Science Learning and Exploring Mathematics Add to Reading List Source URL: math.uakron.edu Language: English - Date: 2002-04-05 21:57:06 Mouse button Portable Document Format HTML element Hypertext Button Web browser Software Computing Adobe Acrobat
884	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-12-16 03:00:39 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
885	Published in: Moller, D.P.F. and Richter, 0.(005.), Proc.of the 4th Ebemburger Working Conference on the Analysis of Dynamic Systems in Medicine, Biology, and Ecology, April 5-7, 1990, Ebemburg, Bad Mililster am Stein-Eb Add to Reading List Source URL: www.sysecol.ethz.ch Language: English - Date: 2011-01-08 11:24:51 Mathematical modeling Computing Operations research Simulation DEVS Mathematical model Scientific modelling Deterministic simulation Modeling language Simulation software Software Mathematics
886	Uriel Feige, Publications, JanuaryPapers are sorted by categories. For papers that have more than one version (typically, journal version and conference proceedings), the diﬀerent versions are combined into one Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2015-01-02 09:14:39 Uriel Feige NP-complete problems Computational complexity theory Adi Shamir Symposium on Theory of Computing International Colloquium on Automata Languages and Programming Symposium on Foundations of Computer Science Approximation algorithm Uriel Theoretical computer science Applied mathematics Mathematics
887	Department of Mathematics and Statistics Welcome to the Department of Mathematics and Statistics Computing Lab. Add to Reading List Source URL: maths.curtin.edu.au Language: English - Date: 2014-11-11 05:38:06 Login Computer security Password Access control Security
888	CHAPTER 15 ERROR CORRECTING CODES Insert this material after Chapter 13 (Gray Code) and after the new material on the Add to Reading List Source URL: www.hackersdelight.org Language: English - Date: 2007-11-30 10:17:24 Mathematics Computer arithmetic Computing Binary arithmetic Computer memory Hamming code Hamming Parity bit Forward error correction Error detection and correction Coding theory Information theory
889	Building adaptive applications on widely-used platforms with BGP-MS Wolfgang Pohl and J¨org H¨ohle Dept. of Mathematics and Computer Science, University of Essen {Wolfgang.Pohl,Joerg.Hoehle}@gmd.de Add to Reading List Source URL: ui4all.ics.forth.gr Language: English - Date: 2007-11-27 14:03:32 Border Gateway Protocol User modeling Computing Adaptation User model Internet Knowledge representation Network architecture
890	APPENDIX A: Model output specifications The general structure of output files for the TFHTAP common model experiments is described in the document HTAP_CoordinatedStudies_ExpSet1.doc (available at http://aqm.jrc.it/HTAP/ Add to Reading List Source URL: aerocom.met.no Language: English - Date: 2007-01-19 03:12:24 Data Earth sciences graphics software NetCDF Variable Cartesian coordinate system Standard streams Attribute File system Climate and Forecast Metadata Conventions Computing Mathematics Computer file formats

UPDATE